Tableau Switching: Algorithms and Applications
نویسندگان
چکیده
We deene and characterize switching, an operation that takes two tableaux sharing a common border and \moves them through each other" giving another such pair. Several authors, including James and Kerber, Remmel, Haiman, and Shimozono, have deened switching operations; however, each of their operations is somewhat diierent from the rest and each imposes a particular order on the switches that can occur. Our goal is to study switching in a general context, thereby showing that the previously deened operations are actually special instances of a single algorithm. The key observation is that switches can be performed in virtually any order without aaecting the nal outcome. Many known proofs concerning the jeu de taquin, Schur functions, tableaux, characters of representations, branching rules, and the Littlewood-Richardson rule use essentially the same mechanism. Switching provides a common framework for interpreting these proofs. We relate Sch utzenberger's evacuation procedure to switching and in the process obtain further results concerning evacuation. We deene reversal, an operation which extends evacuation to tableaux of arbitrary 1 skew shape, and apply reversal and related mappings to give combinatorial proofs of various symmetries of Littlewood-Richardson coeecients.
منابع مشابه
Tableau Algorithms for Description Logics
Description logics are a family of knowledge representation formalisms that are descended from semantic networks and frames via the system Kl-one. During the last decade, it has been shown that the important reasoning problems (like subsumption and satissability) in a great variety of description logics can be decided using tableau-like algorithms. This is not very surprising since description ...
متن کاملAn Overview of Tableau Algorithms for Description Logics
Description logics are a family of knowledge representation formalisms that are descended from semantic networks and frames via the system KL-ONE. During the last decade, it has been shown that the important reasoning problems (like subsumption and satisfiability) in a great variety of description logics can be decided using tableau-like algorithms. This is not very surprising since description...
متن کاملA variation on the tableau switching and a Pak-Vallejo’s conjecture
Pak and Vallejo have defined fundamental symmetry map as any Young tableau bijection for the commutativity of the Littlewood-Richardson coefficients cμ,ν = cν,μ. They have considered four fundamental symmetry maps and conjectured that they are all equivalent (2004). The three first ones are based on standard operations in Young tableau theory and, in this case, the conjecture was proved by Dani...
متن کاملA High Efficiency Low-Voltage Soft Switching DC–DC Converter for Portable Applications
This paper presents a novel control method to improve the efficiency of low-voltage DC-DC converters at light loads. Pulse Width Modulation (PWM) converters have poor efficiencies at light loads, while pulse frequency modulation (PFM) control is more efficient for the same cases. Switching losses constitute a major portion of the total power loss at light loads. To decrease the switching losses...
متن کاملTableau-Based ABox Abduction for Description Logics: Preliminary Report
ABox abduction is an important reasoning problem for description logics (DL) with applications in diagnosis, manufacturing control, multimedia interpretation, etc. Several abductive reasoners for DL were designed and implemented using a translation to first-order logic or logic programming. Algorithms for ABox abduction based directly on native DL reasoning techniques, such as tableau algorithm...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Comb. Theory, Ser. A
دوره 76 شماره
صفحات -
تاریخ انتشار 1996